翻訳と辞書
Words near each other
・ Cut 'N' Move
・ Cut (2000 film)
・ Cut (2011 film)
・ Cut (advertisement)
・ Cut (archaeology)
・ Cut (C-Tec album)
・ Cut (cards)
・ Cut (clothing)
・ Cut (Crack the Sky album)
・ Cut (earthmoving)
・ Cut (EP)
・ Cut (gems)
・ Cut (Golden Earring album)
・ Cut (graph theory)
・ Cut (Hunters and Collectors album)
Cut (logic programming)
・ Cut (manga)
・ Cut (music)
・ Cut (novel)
・ Cut (Plumb song)
・ Cut (The Slits album)
・ Cut (transition)
・ Cut (Unix)
・ Cut 4 Me
・ Cut Above
・ Cut Above the Rest
・ Cut Across Shorty
・ Cut and Blind
・ Cut and fill
・ Cut and paste (disambiguation)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Cut (logic programming) : ウィキペディア英語版
Cut (logic programming)

The cut, in Prolog, is a goal, written as !, which always succeeds, but cannot be backtracked past. It is best used to prevent unwanted backtracking, for example, to prevent extra solutions being found by Prolog and to avoid additional computations that are not desired or required in a program.
The cut should be used sparingly. There is a temptation to insert cuts experimentally into code that is not working correctly. If a test is unnecessary because a cut has guaranteed that it is true, it is good practice to say so in a comment at the appropriate place.
It is described by some as a controversial control facility 〔''Foundations of Logic Programming'', Springer (1984).〕 because it was added for efficiency reasons only and isn't a Horn clause.
== Types ==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Cut (logic programming)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.